Freedom, determinism, and causality de Elliott Sober
نویسندگان
چکیده
منابع مشابه
The Design Argument Elliott Sober
The design argument is one of three main arguments for the existence of God; the others are the ontological argument and the cosmological argument. Unlike the ontological argument, the design argument and the cosmological argument are a posteriori. And whereas the cosmological argument can focus on any present event to get the ball rolling (arguing that it must trace back to a first cause, name...
متن کاملCoincidences and How to Think about Them Elliott Sober
The naïve see causal connections everywhere. Consider the fact that Evelyn Marie Adams won the New Jersey lottery twice. The naïve find it irresistible to think that this cannot be a coincidence. Maybe the lottery was rigged or perhaps some uncanny higher power placed its hand upon her brow. Sophisticates respond with an indulgent smile and ask the naïve to view Adams’ double win within a large...
متن کامل1 Coincidences and How to Think about Them Elliott Sober
The naïve see causal connections everywhere. Consider the fact that Evelyn Marie Adams won the New Jersey lottery twice. The naïve find it irresistible to think that this cannot be a coincidence. Maybe the lottery was rigged or some uncanny higher power placed its hand upon her brow. Sophisticates respond with an indulgent smile and ask the naïve to view Adams’ double win within a larger perspe...
متن کاملDeterminism Should Ensure Deadlock-Freedom
This program creates two tasks, f and g, and runs them in parallel. The par statement blocks until both f and g terminate. c is a channel and both a and b are incarnations of c. g takes c by out (reference); any modification of b is therefore reflected in main’s c. f takes c by in (value), and hence f maintains a local copy of c. Suppose f wants to receive the updated value, then it explicitly ...
متن کاملFreedom, Weakness, and Determinism: From Linear-Time to Branching-Time
Model checking is a method for the veri cation of systems with respect to their speci cations. Symbolic model-checking, which enables the veri cation of large systems, proceeds by calculating xed-point expressions over the system's set of states. The -calculus is a branching-time temporal logic with xed-point operators. As such, it is a convenient logic for symbolic modelchecking tools. In part...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Filosofia Unisinos
سال: 2010
ISSN: 1984-8234
DOI: 10.4013/fsu.2010.113.09